YES 0.427
↳ HASKELL
↳ BR
((rangeSize :: ((),()) -> Int) :: ((),()) -> Int) |
import qualified Prelude |
r@(vv,vw)
(vv,vw)
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
((rangeSize :: ((),()) -> Int) :: ((),()) -> Int) |
import qualified Prelude |
rangeSize (vv,vw)
| null (range (vv,vw))
= 0 | otherwise
= index (vv,vw) vw + 1
rangeSize (vv,vw) = rangeSize2 (vv,vw)
rangeSize1 vv vw True = 0 rangeSize1 vv vw False = rangeSize0 vv vw otherwise
rangeSize0 vv vw True = index (vv,vw) vw + 1
rangeSize2 (vv,vw) = rangeSize1 vv vw (null (range (vv,vw)))
undefined
| False
= undefined
undefined = undefined1
undefined0 True = undefined
undefined1 = undefined0 False
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ NumRed
((rangeSize :: ((),()) -> Int) :: ((),()) -> Int) |
import qualified Prelude |
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ NumRed
↳ HASKELL
↳ Narrow
(rangeSize :: ((),()) -> Int) |
import qualified Prelude |